Abdeckungskriterien in der modellbasierten Testfallgenerierung: Stand der Technik und Perspektiven
نویسندگان
چکیده
Zur Beurteilung der Qualität von Testsuiten ist der Abdeckungsgrad ein wichtiges Kriterium. Beim modellbasierten Blackbox-Test wird dabei nicht die Abdeckung im Ziel-Code, sondern in der Spezifikation gemessen. Wir beschreiben anhand eines konkreten Beispiels die von aktuellen Testfallgenerierungswerkzeugen erreichte Abdeckung und argumentieren, dass eine zusätzliche Metastrategie für die Kombination von Abdeckungskriterien erforderlich ist.
منابع مشابه
Ein e-Lecture-System für die Theoretische Informatik
Es wird ein e-Lecture-System für die Theoretische Informatik vorgestellt, das seit drei Semestern an der RWTH Aachen für Vorlesungen der Automatentheorie erfolgreich eingesetzt wird. Grundlegende Zielsetzung war, eine einfach zu bedienende und flexible Infrastruktur zu schaffen. Im Zentrum stand dabei eine integrierte und flexibel einsetzbare Technik zur Vorbereitung und Präsentation des Kursma...
متن کاملModellbildung und Vergleich von linearen und nichtlinearen Regelungskonzepten für Drei-Wege-Abgaskatalysatoren
Zur effizienten Abgasnachbehandlung bei Ottomotoren hat sich der Drei-WegeKatalysator seit mehr als drei Jahrzehnten bewährt. Seinen Namen verdankt er der Eigenschaft, die drei Hauptschadstoffe im Abgas von Ottomoren, nämlich Kohlenwasserstoffe (HC), Kohlenstoffmonoxid (CO) und Stickoxide (NOx), gleichzeitig in ungiftiges Wasser (H2O), Kohlenstoffdioxid (CO2) und Stickstoff (N2) umzuwandeln. Na...
متن کاملFG TAV: Bericht und Beiträge vom 34. Treffen der Fachgruppe vom 14. und 15. Februar 2013 in Aachen
Das Vortragsprogramm eröffnete Carsten Weise mit seiner Keynote Testen mobiler, verteilter Netzwerke mittels symbolischer Ausführung welche die symbolische Ausführung von Programkode in der industriellen Praxis nahebrachte. Im zweiten Vortrag Konzeption und Evaluation eines delta-orientierten modellbasierten Testverfahrens für Softwareproduktlinienstellte der Preisträger des GI TAV-Award 2011, ...
متن کاملProzeßschritte zur Testfallauswahl bei der Testfallgenerierung aus UML-Modellen
Mit Hilfe des vorgestellten Ansatzes soll eine Testfallauswahl im Rahmen einer automatisierten und modellbasierten Testfallgenerierung ermöglicht werden. Dazu wird das UML-Systemmodell entsprechend erweitert und ein mögliches Verfahren zur weiteren Informationsverarbeitung vorgestellt. Diese Testfallauswahl ist ein Teilprozeß eines Verfahrens zur Testfallgenerierung, welches aus UML-Modellen pa...
متن کاملUmfrage 2015 - Softwaretest in Praxis und Forschung
Abstrakt: Die 2011 durchgeführte Umfrage »Softwaretest in der Praxis« soll 2015 erneut durchgeführt werden. Ziel ist eine Verstetigung und langfristige Erhebung, Verfolgung, Analyse und Auswertung von Trends in der Softwarequalitätssicherung. Dies umfasst insbesondere den aktuellen Stand der Technik in der Praxis. Ergänzend dazu werden der Stand von Wissenschaft und Technik erhoben sowie zukünf...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006